• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2014 (48)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 Hits 1 – 20 of 48 1 Using eye tracking to understand the responses of learners to vocabulary learning strategy instruction and use Liu, Pei-Lin In: Computer assisted language learning. - Colchester [u.a.] : Taylor & Francis 27 (2014) 4, 330-343 BLLDB OLC Linguistik Show details 2 Lexical aspect in the use of the present perfect by Japanese EFL learners Uno, Mariko In: International review of applied linguistics in language teaching. - Berlin : de Gruyter 52 (2014) 1, 31-57 BLLDB OLC Linguistik Show details 3 A longitudinal study of receptive vocabulary breadth knowledge growth and vocabulary fluency development Lu, Xiaofei; Zhang, Xian In: Applied linguistics. - Oxford : Oxford Univ. Press 35 (2014) 3, 283-304 BLLDB OLC Linguistik Show details 4 Language aptitude and long-term achievement in early childhood L2 learners Grañena, Gisela In: Applied linguistics. - Oxford : Oxford Univ. Press 35 (2014) 4, 483-503 BLLDB OLC Linguistik Show details 5 Your participation is "greatly/highly" appreciated: amplifier collocations in L2 English Gudmestad, Aarnes; Edmonds, Amanda In: Canadian modern language review. - Toronto : Ontario Modern Language Teachers Association 70 (2014) 1, 76-102 BLLDB OLC Linguistik Show details 6 Lexical aspects of very advanced L2 French Lindqvist, Christina; Lundell, Fanny Forsberg In: Canadian modern language review. - Toronto : Ontario Modern Language Teachers Association 70 (2014) 1, 28-49 BLLDB OLC Linguistik Show details 7 Effects of variations in reading span task design on the relationship between working memory capacity and second language reading Erçetin, Gülcan; Özemir, Oya; Alptekin, Cem In: The modern language journal. - Hoboken, NJ [u.a.] : Wiley-Blackwell 98 (2014) 2, 536-552 BLLDB OLC Linguistik Show details 8 The acquisition of synonyms in American Sign Language (ASL): toward a further understanding of the components of ASL vocabulary knowledge Hoffmeister, Robert J.; Novogrodsky, Rama; Fish, Sarah In: Sign language studies. - Washington, DC : Gallaudet Univ. Press 14 (2014) 2, 225-249 BLLDB OLC Linguistik Show details 9 Zugezogene im Fokus : Sprachkontakterscheinungen im Regiolekt Lorenz, Cornelia. - Tübingen : Narr, 2014 BLLDB UB Frankfurt Linguistik Show details 10 Die Validität der Skalen des Gemeinsamen europäischen Referenzrahmens für Sprachen : eine empirische Untersuchung der Flüssigkeits- und Wortschatzskalen des GeRS am Beispiel des Italienischen und des Deutschen Wisniewski, Katrin. - Frankfurt, M. : Lang-Ed., 2014 BLLDB UB Frankfurt Linguistik Show details 11 Determinants of Chinese Students' Academic Success in Korean Universities Yan, Wei. - 2014 BASE Show details 12 La didattica delle lingue straniere in prospettiva meta cognitiva : teoria e prassi tecnologica Mugno, Rossella. - Roma : Aracne Ed., 2014 BLLDB UB Frankfurt Linguistik Show details 13 СУЩЕСТВИТЕЛЬНЫЕ СО ЗНАЧЕНИЕМ ОБЩЕЙ ОТРИЦАТЕЛЬНОЙ ОЦЕНКИ ВНЕШНОСТИ ЧЕЛОВЕКА В РУССКОМ ЯЗЫКОВОМ СОЗНАНИИ МИЛЬБРЕТ АЛИНА АЛЕКСАНДРОВНА. - : Общество с ограниченной ответственностью Издательство Грамота, 2014 BASE Show details 14 Обучение коллокациям современного английского языка ПЕТРОСЯН ИРИНА ВИТАЛЬЕВНА. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет», 2014 BASE Show details 15 Are Two-Way Immersion Programs Effective for English Language Learners? Gleason, Tania Marie. - : eScholarship, University of California, 2014 In: Gleason, Tania Marie. (2014). Are Two-Way Immersion Programs Effective for English Language Learners?. UCLA: Statistics 0891. Retrieved from: http://www.escholarship.org/uc/item/97n095nv (2014) BASE Show details 16 Instrumentation of annotated c programs for test generation Petiot, G.; Botella, B.; Julliand, J.; Kosmatov, N.; Signoles, J. In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014) Abstract: Conference of 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014 ; Conference Date: 28 September 2014 Through 29 September 2014; Conference Code:109634 ; International audience ; Software verification and validation often rely on formal specifications that encode desired program properties. Recent research proposed a combined verification approach in which a program can be incrementally verified using alternatively deductive verification and testing. Both techniques should use the same specification expressed in a unique specification language. This paper addresses this problem within the Frama-C framework for analysis of C programs, that offers ACSL as a common specification language. We provide a formal description of an automatic translation of ACSL annotations into C code that can be used by a test generation tool either to trigger and detect specification failures, or to gain confidence, or, under some assumptions, even to confirm that the code is in conformity with respect to the annotations. We implement the proposed specification translation in a combined verification tool Study. Our initial experiments suggest that the proposed support for a common specification language can be very helpful for combined static-dynamic analyses. Keyword: [INFO]Computer Science [cs]; Automatic programming; C (programming language); C programs; Codes (symbols); Computational linguistics; Deductive verification; Formal specification; Frama-C; Software testing; Specification languages; Specifications; Static and dynamic analysis; Test generations; Translation (languages); Verification URL: https://doi.org/10.1109/SCAM.2014.19 https://hal-cea.archives-ouvertes.fr/cea-01836306 BASE Hide details 17 Testtheoretische Absicherung der ESGRAF 4-9 ... : The Psychometric Quality of the ESGRAF 4-9 ... Rietz, Christian; Motsch, Hans-Joachim. - : Pabst Science Publishers, 2014 BASE Show details 18 Durch Musik zur Sprache - Musiktherapeutische Sprachförderung in Kita, Schule oder freier Praxis ... Menebröcker, Erika; Jordan, Anne-Katrin. - : Schulz-Kirchner Verlag, 2014 BASE Show details 19 Examination of the Accuracy of the Social Language Development Test for Identification of Social Language Impairments Zeberlein, Jennifer Catherine In: http://rave.ohiolink.edu/etdc/view?acc_num=miami1398975745 (2014) BASE Show details 20 Durch Musik zur Sprache - Musiktherapeutische Sprachförderung in Kita, Schule oder freier Praxis Menebröcker, Erika; Jordan, Anne-Katrin In: Sallat, Stephan [Hrsg.]; Spreer, Markus [Hrsg.]; Glück, Christian W. [Hrsg.]: Sprache professionell fördern. Idstein : Schulz-Kirchner Verlag 2014, S. 444-453 (2014) BASE Show details Page: 1 2 3

Mobile view All Catalogues UB Frankfurt Linguistik 3 IDS Mannheim 0 OLC Linguistik 8 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 11 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 37 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0